Equivalence of Q-Conditional Symmetries under Group of Local Transformation

The definition of Q-conditional symmetry for one PDE is correctly generalized to a special case of systems of PDEs and involutive families of operators. The notion of equivalence of Q-conditional symmetries under a group of local transformation is introduced. Using this notion, all possible single Q-conditional symmetry operators are classified for the n-dimensional (n >= 2) linear heat equation and for the Euler equations describing the motion of an incompressible ideal fluid.Comment: LaTeX2e, 7 page

More common errors in finding exact solutions of nonlinear differential equations. I

In the recent paper by Kudryashov [Commun. Nonlinear Sci. Numer. Simulat., 2009, V.14, 3507-3529] seven common errors in finding exact solutions of nonlinear differential equations were listed and discussed in detail. We indicate two more common errors concerning the similarity (equivalence with respect to point transformations) and linearizability of differential equations and then discuss the first of them. Classes of generalized KdV and mKdV equations with variable coefficients are used in order to clarify our conclusions. We investigate admissible point transformations in classes of generalized KdV equations, obtain the necessary and sufficient conditions of similarity of such equations to the standard KdV and mKdV equations and carried out the exhaustive group classification of a class of variable-coefficient KdV equations. Then a number of recent papers on such equations are commented using the above results. It is shown that exact solutions were constructed in these papers only for equations which are reduced by point transformations to the standard KdV and mKdV equations. Therefore, exact solutions of such equations can be obtained from known solutions of the standard KdV and mKdV equations in an easier way than by direct solving. The same statement is true for other equations which are equivalent to well-known equations with respect to point transformations.Comment: 18 pages, more papers on the subject are commente

The effect of phase change on stability of convective flow in a layer of volatile liquid driven by a horizontal temperature gradient

Buoyancy-thermocapillary convection in a layer of volatile liquid driven by a horizontal temperature gradient arises in a variety of situations. Recent studies have shown that the composition of the gas phase, which is typically a mixture of vapour and air, has a noticeable effect on the critical Marangoni number describing the onset of convection as well as on the observed convection pattern. Specifically, as the total pressure or, equivalently, the average concentration of air is decreased, the threshold of the instability leading to the emergence of convective rolls is found to increase rather significantly. We present a linear stability analysis of the problem which shows that this trend can be readily understood by considering the transport of heat and vapour through the gas phase. In particular, we show that transport in the gas phase has a noticeable effect even at atmospheric conditions, when phase change is greatly suppressed

Group classification of linear evolution equations

The group classification problem for the class of (1+1)-dimensional linear $r$th order evolution equations is solved for arbitrary values of $r>2$. It is shown that a related maximally gauged class of homogeneous linear evolution equations is uniformly semi-normalized with respect to linear superposition of solutions and hence the complete group classification can be obtained using the algebraic method. We also compute exact solutions for equations from the class under consideration using Lie reduction and its specific generalizations for linear equations.Comment: Minor corrections, 24 pages, 1 tabl

A higher limit approach to homology theories

A lot of well-known functors such as group homology, cyclic homology of algebras can be described as limits of certain simply defined functors over categories of presentations. In this paper, we develop technique for the description of the higher limits over categories of presentations and show that certain homological functors can be described in this way. In particular, we give a description of Hochschild homology and the derived functors of tensor, symmetric and exterior powers in the sense of Dold and Puppe as higher limits.Comment: 25 page

Generalized symmetries and conservation laws of (1+1)-dimensional Klein-Gordon equation

Using advantages of nonstandard computational techniques based on the light-cone variables, we explicitly find the algebra of generalized symmetries of the (1+1)-dimensional Klein-Gordon equation. This allows us to describe this algebra in terms of the universal enveloping algebra of the essential Lie invariance algebra of the Klein-Gordon equation. Then we single out variational symmetries of the corresponding Lagrangian and compute the space of local conservation laws of this equation, which turns out to be generated, up to the action of generalized symmetries, by a single first-order conservation law. Moreover, for every conservation law we find a conserved current of minimal order that contains in this conservation law.Comment: 16 pages, extended version, the conclusion has been adde

Inverse problem on conservation laws

The explicit formulation of the general inverse problem on conservation laws is presented for the first time. In this problem one aims to derive the general form of systems of differential equations that admit a prescribed set of conservation laws. The particular cases of the inverse problem on first integrals of ordinary differential equations and on conservation laws for evolution equations are studied. We also solve the inverse problem on conservation laws for differential equations admitting an infinite dimensional space of zeroth-order conservation-law characteristics. This particular case is further studied in the context of conservative first-order parameterization schemes for the two-dimensional incompressible Euler equations. We exhaustively classify conservative first-order parameterization schemes for the eddy-vorticity flux that lead to a class of closed, averaged Euler equations possessing generalized circulation, generalized momentum and energy conservation.Comment: 29 pages, extended versio

Symmetry preserving parameterization schemes

Methods for the design of physical parameterization schemes that possess certain invariance properties are discussed. These methods are based on different techniques of group classification and provide means to determine expressions for unclosed terms arising in the course of averaging of nonlinear differential equations. The demand that the averaged equation is invariant with respect to a subalgebra of the maximal Lie invariance algebra of the unaveraged equation leads to a problem of inverse group classification which is solved by the description of differential invariants of the selected subalgebra. Given no prescribed symmetry group, the direct group classification problem is relevant. Within this framework, the algebraic method or direct integration of determining equations for Lie symmetries can be applied. For cumbersome parameterizations, a preliminary group classification can be carried out. The methods presented are exemplified by parameterizing the eddy vorticity flux in the averaged vorticity equation. In particular, differential invariants of (infinite dimensional) subalgebras of the maximal Lie invariance algebra of the unaveraged vorticity equation are computed. A hierarchy of normalized subclasses of generalized vorticity equations is constructed. Invariant parameterizations possessing minimal symmetry extensions are described and a restricted class of invariant parameterization is exhaustively classified. The physical importance of the parameterizations designed is discussed.Comment: 38 pages, 2 figure, minor correction

On Bousfield problem for the class of metabelian groups

The homological properties of localizations and completions of metabelian groups are studied. It is shown that, for $R=\mathbb Q$ or $R=\mathbb Z/n$ and a finitely presented metabelian group $G$, the natural map from $G$ to its $R$-completion induces an epimorphism of homology groups $H_2(-,R)$. This answers a problem of A.K. Bousfield for the class of metabelian groups.Comment: 31 page

A finite Q-bad space

We prove that for a free noncyclic group $F$, $H_2(\hat F_\mathbb Q, \mathbb Q)$ is an uncountable $\mathbb Q$-vector space. Here $\hat F_\mathbb Q$ is the $\mathbb Q$-completion of $F$. This answers a problem of A.K. Bousfield for the case of rational coefficients. As a direct consequence of this result it follows that, a wedge of circles is $\mathbb Q$-bad in the sense of Bousfield-Kan. The same methods as used in the proof of the above results allow to show that, the homology $H_2(\hat F_\mathbb Z,\mathbb Z)$ is not divisible group, where $\hat F_\mathbb Z$ is the integral pronilpotent completion of $F$